Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
441	Live Debugging of Distributed Systems Darren Dao1 , Jeannie Albrecht2 , Charles Killian3 , and Amin Vahdat1 1 University of California, San Diego, La Jolla, CA 2 Add to Reading List Source URL: www.macesystems.org Language: English - Date: 2009-06-12 09:49:55 Concurrent computing Distributed data storage Computing Computer programming Distributed computing File sharing Distributed hash table Liveness Safety Peer-to-peer Chord Pastry
442	A Formal Model for Direct-style Asynchronous Observables Philipp Haller! KTH Royal Institute of Technology, Sweden! ! Add to Reading List Source URL: icetcs.ru.is Language: English - Date: 2015-10-23 07:31:10 Computing Software engineering Computer programming Inter-process communication Await Control flow Futures and promises Scala
443	Efficient algorithms for sequence segmentation Evimaria Terzi ∗ Panayiotis Tsaparas † The error in this approximate representation is measured using some error function, e.g. the sum of squares. Different Add to Reading List Source URL: www.cs.uoi.gr Language: English - Date: 2006-01-26 11:38:44 Systems science Mathematics Image segmentation Dynamic programming Algorithm Systems theory Approximation algorithm Time-series segmentation Graph cuts in computer vision
444	Self-Applicable C Program Specialization Lars Ole Andersen DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagn Ø, Denmark E-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Software engineering Computing Computer programming Data types Procedural programming languages Subroutines Type theory Object-oriented programming languages Partial evaluation Symbol Eval Type system
445	Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie Department of Electrical and Computer Engineering Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2010-02-12 11:46:54 Computing Concurrency control Computer programming Transaction processing Concurrent computing Data management Parallel computing Debugging Linearizability Monitor Atomicity Serializability
446	Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-18 13:56:03 Computability theory Lambda calculus Theoretical computer science Computer science Mathematics Academia Proof theory
447	MORTAR TEST CUBE DATA FORM.xls Add to Reading List Source URL: www.acsgroupofcompanies.co.uk Language: English - Date: 2014-04-01 05:02:30 Computing Software Cubes Data warehousing SQL Computer programming
448	Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) Alessandro Solimando and Riccardo Traverso? Dipartimento di Informatica e Scienze dell’Informazione, Università di Add to Reading List Source URL: verify.disi.unige.it Language: English - Date: 2012-11-14 14:09:06 Declarative programming Software engineering Computer programming Functional programming Monad Arrow Type class Haskell Pattern matching Multi-agent system Beliefdesireintention software model Haskell features
449	CE318: High-level Games Development Lecture 7: Persistence and Animations Diego Perez Office 3A.527 Add to Reading List Source URL: orb.essex.ac.uk Language: English - Date: 2015-11-16 07:06:39 Software engineering Computing Computer programming Cross-platform software Object-oriented programming languages Procedural programming languages Persistence D
450	MPI: A Message-Passing Interface Standard Version 3.1 Message Passing Interface Forum February 25, 2015 1 Add to Reading List Source URL: meetings.mpi-forum.org Language: English - Date: 2015-02-25 15:10:02 Computing Parallel computing Computer programming Application programming interfaces Software engineering Message Passing Interface Collective operation MPI LAM/MPI MPICH

UPDATE